Natural induction - PDFSEARCH.IO - Document Search Engine

Natural induction
Results: 130

#	Item
41	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic
42	CS109A Notes for LectureProving Recursive Programs Work When a program is recursive, we can often nd a natural inductive proof that it works. The induction is often on the number of Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:52 Private law Committees Management Board of directors Business law Casual vacancy Corporations law Business Corporate governance
43	GRAMMAR INDUCTION AND PARSING WITH DEPENDENCY-AND-BOUNDARY MODELS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2013-12-13 22:01:08 Natural language processing Corpus linguistics Speech recognition Markov models Expectation–maximization algorithm Algorithm Lateen Part-of-speech tagging Mathematical optimization Linguistics Computational linguistics Science
44	On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars Vasant Honavar Department of Computer Science Iowa State University Ames, IA 50011, USA Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-04-20 00:26:40 Computational linguistics Grammar Language Compiler construction Statistical natural language processing Stochastic context-free grammar Treebank Parsing Grammar induction Linguistics Formal languages Science
45	Resolving Sense Ambiguity of Korean Nouns Based on Concept Co-occurrence Information You-Jin Chung Jong-Hyeok Lee Div. of Electrical and Computer Engineering Pohang University of Science and Technology (POSTECH) and Adva Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2004-03-04 19:05:17 Semantics Lexical semantics Word-sense disambiguation Classifier Commodity channel index Grammatical number Semantic similarity Homograph Word-sense induction Linguistics Computational linguistics Natural language processing
46	Distributional Phrase Structure Induction Dan Klein and Christopher D. Manning Computer Science Department Stanford University Stanford, CA[removed]klein, manning @cs.stanford.edu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2001-05-28 19:28:07 Computational linguistics Compiler construction Statistical natural language processing Corpus linguistics Syntax Parsing Stochastic context-free grammar Dependency grammar Treebank Linguistics Formal languages Natural language processing
47	Paving the Way to a Large-scale Pseudosense-annotated Dataset Mohammad Taher Pilehvar and Roberto Navigli Department of Computer Science Sapienza University of Rome {pilehvar,navigli}@di.uniroma1.it Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2013-06-21 06:15:30 Semantics Lexical semantics Natural language processing Word-sense disambiguation WordNet SemEval Semantic similarity Word-sense induction Word sense Linguistics Computational linguistics Science
48	WoSIT: A Word Sense Induction Toolkit for Search Result Clustering and Diversiﬁcation http://lcl.uniroma1.it/wosit Daniele Vannella, Tiziano Flati and Roberto Navigli Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2014-10-16 13:37:05 Semantics Science Lexical semantics Word-sense disambiguation Word-sense induction Cluster analysis Algorithm SemEval Linguistics Computational linguistics Natural language processing
49	Chinese Whispers - an Efficient Graph Clustering Algorithm and its Application to Natural Language Processing Problems Chris Biemann University of Leipzig, NLP Department Augustusplatz[removed]Leipzig, Germany Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 07:49:32 Word-sense induction Clique Graph Clustering coefficient Bipartite graph Adjacency matrix Cluster analysis Line graph Chordal graph Graph theory Algebraic graph theory Neighbourhood
50	WoSIT: A Word Sense Induction Toolkit for Search Result Clustering and Diversification Daniele Vannella, Tiziano Flati and Roberto Navigli Dipartimento di Informatica Sapienza Universit`a di Roma {vannella,flati,navigli} Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2014-05-23 06:50:44 Science Computational linguistics Lexical semantics Semantics Word-sense disambiguation Word-sense induction Cluster analysis Carrot2 Information retrieval Linguistics Natural language processing Statistics

UPDATE